\begin{tabbing}
d{-}es\=\{i:l\}\+
\\[0ex]($D$; ${\it es}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\exists$$w$:world\{i:l\}, $p$:fair{-}fifo\{i:l\}($w$).\+
\\[0ex]possible{-}world\{i:l\}($D$; $w$) \& ${\it es}$ $=$ w{-}es\{i:l\}($w$; $p$) $\in$ ES\{i\}
\-
\end{tabbing}